* doc/misc/cl.texi: Further general copyedits.
authorGlenn Morris <rgm@gnu.org>
Sat, 3 Nov 2012 01:19:40 +0000 (21:19 -0400)
committerGlenn Morris <rgm@gnu.org>
Sat, 3 Nov 2012 01:19:40 +0000 (21:19 -0400)
commit0dd420ebc0a48a898f17060fb00b0f04da78bc1c
tree0b07bcf331bb6b989f876bb9e53077c95f27b39d
parent4e7557079bb4d406c56b6d7326719beef23c2622
* doc/misc/cl.texi: Further general copyedits.
Eg, no longer distinguish between "the optimizing compiler" and "the
non-optimizing compiler" like they were different entities.
doc/misc/ChangeLog
doc/misc/cl.texi